home *** CD-ROM | disk | FTP | other *** search
- .Search { color: #FFFFFF; background-color: #0000FF; font-weight: bold; }
- .Bookmark1 { background-color: #FFFFB6; }
- .Bookmark2 { background-color: #E8CEA7; }
- .Bookmark3 { background-color: #FFE1DC; }
- .Bookmark4 { background-color: #F4E0FF; }
- .Bookmark5 { background-color: #DEECFF; }
- .Bookmark6 { background-color: #D4F8DA; }
-
- /* Aug.2008 rvm@maris.ru */
-
- html {
- scrollbar-arrow-color: #9F9F9F;
- scrollbar-base-color: #575764;
- scrollbar-shadow-color: #000000;
- scrollbar-face-color: #0F0F24;
- scrollbar-highlight-color: #C5C5C5;
- scrollbar-dark-shadow-color: #C5C5C5;
- scrollbar-3d-light-color: #7E7E7E;
- scrollbar-track-color: #3C3C4B;
-
- padding-bottom: 65%;
- }
-
- body {
- font-family: Verdana;
- font-size: 0.82em;
- /*
- color: rgb(96,94,94); */
- color: rgb(150, 148, 148);
- background-color: rgb(19,19,45);
- box-sizing: border-box;
- line-height: 140%;
- padding-left: 1.5em;
- }
-
- table td { vertical-align: top; }
-
- a { text-decoration: none; color: rgb(241, 137, 14); }
- a:hover { text-decoration: underline; }
-
- p { margin: 0.3em 0;}
-
- div.h { clear: left; }
- div.h p.title { margin-top: 0.7em; font-weight: bolder;}
- h3 {font-size: 100%;}
-
- div.h { margin-bottom: 2em;}
-
- div.c, div.f, div.toc { background: top repeat-x url('pics/col/hr-dot.png'); padding-top: 1em; clear: both; } /* dotted 1px #525260 */
-
-
- div.icon img { border: #525260 1px solid; }
- div.icon a img { behavior: url("hover.htc"); } /* img:hover */
- div.icon p img { border: none; }
-
- div.icon { clear: left; float: left; margin-right: 1.4em; margin-bottom: 1.4em; margin-top: 0.4em; text-align: center;}
- div.icon.right { float: right; clear: right; margin-left: 1em; }
-
- div.item { clear: left; margin-bottom: 2.3em; } /* item in the PG sect overview */
-
- div.nav2 { float: right; margin-right: 1em; /* font-size: 150%; */ }
-
-
- span.greek {
- font-family: "Symbol";
- font-size: 110%;
- }
-
- .caption { font-size: 80%; }
-
- .copyright, .credits { font-size: 80%; }
- .garbage { font-weight: bolder; }
-
- div.h .title { font-size: 120%; }
- .subtitle { font-style: italic; }
-
- table.ie { width: 100%; } /* workaround the IE bug */
-
- table.info {
- margin: 0.5em 0;
- width: 90%;
- border-collapse: collapse;
- border-style: solid;
- border-width: 1px;
- border-color: #3C3C4B;
- empty-cells: show;
- }
- table.info td {
- border-style: solid;
- border-width: 1px;
- padding: 0 0.3em;
- }
-
- div.formula {
- text-align: center; font-weight: bold;
- }
-